COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Biographical sketch:
C00004 ENDMK
C⊗;
Biographical sketch:

	John McCarthy is Professor of Computer Science at Stanford
University.  He has been interested in artificial intelligence since
1949 and coined the term in 1955.  His main artificial intelligence
research area has been the formalization of common sense knowledge.
He invented the LISP programming language in 1958, developed the concept of
time-sharing in the late fifties and early sixties, and has worked on
proving that computer programs meet their specifications since the early sixties.
His most recent theoretical development is the circumscription method
of non-monotonic reasoning since 1978.  McCarthy received the A. M. Turing
award of the Association for Computing Machinery in 1971 and was elected
President of the American Association for Artificial Intelligence for
1983-84.